<?php
if (!extension_loaded("psr")) {
    die('skip The psr extension is not loaded');
}
